/LMAR=0/XLINE=3/FONT#3=BASB30/FONT#2=BASI30/FONT#1=BDR30/FONT#0=BDR30



␈↓ ↓H␈↓␈↓ ↓x␈↓αsamefringe␈↓↓[␈↓αx␈↓↓, ␈↓αy␈↓↓] ← ␈↓αresidue␈↓↓[␈↓αx␈↓↓, ␈↓αy␈↓↓] ␈↓βeq ␈↓↓T



␈↓ ↓H␈↓↓␈↓ ↓x␈↓αresidue␈↓↓[␈↓αx␈↓↓, ␈↓αy␈↓↓] ←
␈↓ ↓H␈↓↓␈↓ α_␈↓βif␈↓↓ ␈↓αx␈↓↓ ␈↓βeq ␈↓αy␈↓↓ ␈↓βthen␈↓↓ T
␈↓ ↓H␈↓↓␈↓ α_␈↓βelse if␈↓↓ ␈↓βat ␈↓αx␈↓↓ ␈↓βthen␈↓↓ [␈↓βif␈↓↓ ␈↓βat ␈↓αy␈↓↓ ␈↓βthen␈↓↓ NIL ␈↓βelse␈↓↓ {␈↓αgopher␈↓↓ ␈↓αy␈↓↓}[λ␈↓αw␈↓↓. ␈↓βif␈↓↓ ␈↓αx␈↓↓ ␈↓βeq a ␈↓αw␈↓↓ ␈↓βthen␈↓↓ ␈↓α'r␈↓↓ . ␈↓βd ␈↓αw␈↓↓ ␈↓βelse␈↓↓ NIL]]
␈↓ ↓H␈↓↓␈↓ α_␈↓βelse if␈↓↓ ␈↓βat ␈↓αy␈↓↓ ␈↓βthen␈↓↓ {␈↓αgopher␈↓↓ ␈↓αx␈↓↓}[λ␈↓αw␈↓↓. ␈↓βif␈↓↓ ␈↓αy␈↓↓ ␈↓βeq a ␈↓αw␈↓↓ ␈↓βthen␈↓↓ ␈↓α'l␈↓↓ . ␈↓βd ␈↓αw␈↓↓ ␈↓βelse␈↓↓ NIL]
␈↓ ↓H␈↓↓␈↓ α_␈↓βelse␈↓↓ {␈↓αresidue␈↓↓[␈↓βa ␈↓αx␈↓↓, ␈↓βa ␈↓αy␈↓↓]}[λ␈↓αw␈↓↓.
␈↓ ↓H␈↓↓␈↓ α8␈↓βif␈↓↓ ␈↓βn ␈↓αw␈↓↓ ␈↓βthen␈↓↓ NIL
␈↓ ↓H␈↓↓␈↓ α8␈↓βelse if␈↓↓ ␈↓αw␈↓↓ ␈↓βeq ␈↓↓T ␈↓βthen␈↓↓ ␈↓αresidue␈↓↓[␈↓βd ␈↓αx␈↓↓, ␈↓βd ␈↓αy␈↓↓]
␈↓ ↓H␈↓↓␈↓ α8␈↓βelse if␈↓↓ ␈↓βa ␈↓αw␈↓↓ ␈↓βeq ␈↓α'l␈↓↓ ␈↓βthen␈↓↓ ␈↓αresidue␈↓↓[␈↓βd ␈↓αw␈↓↓ . ␈↓βd ␈↓αx␈↓↓, ␈↓βd ␈↓αy␈↓↓]
␈↓ ↓H␈↓↓␈↓ α8␈↓βelse␈↓↓ ␈↓αresidue␈↓↓[␈↓βd ␈↓αx␈↓↓, ␈↓βd ␈↓αw␈↓↓ . ␈↓βd ␈↓αy␈↓↓]]



␈↓ ↓H␈↓↓␈↓ ↓x␈↓αgopher␈↓↓ ␈↓αu␈↓↓ ← ␈↓βif␈↓↓ ␈↓βat a ␈↓αu␈↓↓ ␈↓βthen␈↓↓ ␈↓αu␈↓↓ ␈↓βelse␈↓↓ ␈↓αgopher␈↓↓ ␈↓βaa ␈↓αu␈↓↓ . [␈↓βda ␈↓αu␈↓↓ . ␈↓βd ␈↓αu␈↓↓]